H ?
«
‹
←
→
›
»
Language peer sets for TIM:
France↑
France/1991↑
Designed 1991 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑
TIM(ID:6837/tim002)
alternate simple view
Country: France
Designed 1991
Extensions to MOLOG to permit selction of clauses by reason of similarity
Related languages
References:
Balbiani, P. (1991) Balbiani, P. ; A. Herzig, and M. Lima-Marques. TIM: The Toulouse inference machine for non-classical logic programming. In PDK'91: International Workshop on Processing Declarative Knowledge, volume 567 of LNAI, pp. 365-382. Springer-Verlag, 1991
Alliot, J-M. (1992) Alliot, J-M. ; A. Herzig, and M. Lima-Marques. Implementing Prolog extensions: a parallel inference machine. In Proc. of the 1992 International Conference on Fifth Generation Computer Systems, pp. 833-842. ICOT, 1992
Orgun, Mehmet A. (1994) Orgun, Mehmet A. "Temporal and Modal Logic Programming: An Annotated Bibliography" SIGART Bulletin 1994
Extract:
TIM
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE 
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|